quot_1_intro 12,41
Basic support for quotient type. 

origin